main(){
   a=0;
   L:
   a=a+1;
   if(a<5)
       goto L;
   assert(a==5);
   return 0;
}
gcd(a, b){
   r = 0;
   if(a>b)
          r=gcd(a-b,b);
   if(a<b)
          r=gcd(a,b-a);
   if(a==b)
       r=a;
   return r;
}
